Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts
نویسندگان
چکیده
منابع مشابه
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSC) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s logic to study the temporal order of the messages. We introduce the concept of discord to quantify the order discrepancies between messages in different nodes of an HMSC and study its algorithmic properties. We show that wh...
متن کاملTiming Analysis of Message Sequence Charts
Message sequence chart (MSC) is a graphical and textual language for the de-scription and speci cation of the interactions between system components.The MSC standard as de ned by ITU-T in Recommendation Z.120 intro-duces two basic concepts: basic MSCs and High-Level MSCs. MSC speci-cations are a combination of a set of basic MSCs and an High-Level MSCdescribing their com...
متن کاملAn Analysis of Message Sequence Charts
Message (or Time) Sequence Charts (MSCs) are used in telecommunications system specication. To investigate the meaning of an MSC speci cation, we found the need to connect MSC speci cations with more precise methods such as temporal logic and B uchi automata. Based on an interpretation of a collection of MSCs as a global state automaton, we provide an explicit semantic connection to temporal l...
متن کاملPomsets for Message Sequence Charts
Message sequence charts (MSCs) are a standardised formalism for the specification of the system’s communication behaviour that is widely used by industry. Various extensions to MSCs have recently been standardised by the ITU. This paper treats the extension of MSCs with structural operators that allow the hierarchical composition of MSCs. In particular, we propose a linear-time partial-order se...
متن کاملCausal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14, 13, 2, 9, 5, 12, 8]. The high expressive power of scenarios renders many basic problems concerning these languages undecidable. The most expressive class for which several problems are known to be decidable is one which possesses a behavioral property called “existen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IPSJ Transactions on System LSI Design Methodology
سال: 2011
ISSN: 1882-6687
DOI: 10.2197/ipsjtsldm.4.210